AtomFree($T$;$x$) \textbf{is Primitive}